1. Applied Formal Methods FM-Trends 98
پدیدآورنده : \ [Edited by] Dieter Hutter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
E-Book
,
2. Applied formal methods
پدیدآورنده : / Dieter Hutter... [et al.], (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science)--Congresses
3. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
پدیدآورنده : Dieter Hutter...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1641
4. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
5. Cafe
پدیدآورنده : / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
6. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
7. Computer performance engineering :
پدیدآورنده : Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2013
8. Computer performance engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ; Stochastic models ; Congresses. ; Computer systems ; Evaluation ; Congresses. ; Leistungsbewertung ; Kongress ; London <2009> ; Leistungsbewertung. ; swd. ;
9. Computer performance engineering
پدیدآورنده : / Jeremy T. Bradey (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science)--Congresses,Stochastic models--Congresses,Computer systems--Evaluation--Congresses,Leistungsbewertung--Kongress--London <2009>,Leistungsbewertung.--swd,Kongress.--swd,London (2009)--swd
رده :
QA
,
76
.
9
,.
E94
,
E64
,
2009
10. Computer performance engineering
پدیدآورنده : / Alessandro Aldini ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
رده :
QA76
.
9
.
E94E64
2010
11. Computer performance engineering : 14th European Workshop, EPEW 2017 Berlin, Germany, September 7 8, 2017 Proceedings
پدیدآورنده : Philipp Reinecke, Antinisca Di Marco )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Computer systems - Evaluation,Congresses ، Computers - Reliability,Congresses ، Formal methods )Computer science(,Evaluation ، Computer systems,Reliability ، Computers,، Formal methods )Computer science(,، Conference proceedings
رده :
QA
76
.
9
.
E94
E64
2017
12. Correct System Design
پدیدآورنده : \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67C6
2015
E-Book
,
13. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
14. Descriptional complexity of formal systems :
پدیدآورنده : edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
15. Descriptional complexity of formal systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
16. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
17. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
18. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
19. FM 2012
پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
20. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
پدیدآورنده : John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
3582
